(define t-1 (let ((x 7))
	      (let ((x x))
		x)))
(define t-2 (letrec ((x 7))
	      (letrec ((x x))
		x)))
